Priorities in Statecharts ?
نویسندگان
چکیده
The paper examines the speciication language Statecharts from the point of view of its capability to express notions of priority. First a version of Statecharts that does not support priority is introduced, then various syntactic and semantics extensions are examined and compared from the point of view of expressing a general notion of priority. Finally, a special kind of priority, interrupt, is investigated.
منابع مشابه
A Formal Semantics of UML Statecharts by Model Transition Systems
UML Statecharts are well-known visual means to capture the dynamic behavior of reactive systems in the object-oriented design methodology. Since the UML standard only contains an informal description on how to execute such statemachines mathematically precise semantic frameworks are required for an automated analysis. The current paper presents a formal semantics for UML statecharts based on a ...
متن کاملTowards e cient model checking Statecharts: A Statecharts to Promela Complier
Harel proposes the graphical language statecharts [Har87] for specifying behavior of reactive systems. Statecharts extend Mealy machines by parallelism and hierarchy. The communication mechanism in statecharts is instantaneous broadcast and the concurrency model is maximal parallelism. Statecharts has been supported by the commercial Statemate tool for about 12 years now. There, statecharts are...
متن کاملStatecharts: From Visual Syntax to Model-Theoretic Semantics
This paper presents a novel model–theoretic account of Harel, Pnueli and Shalev’s original step semantics of the visual specification language Statecharts. The graphical syntax of a Statechart is read, directly and structurally, as a formula in propositional logic. This proposition captures all the logical constraints imposed by the diagram on the Statechart’s semantics, i.e., the possible sets...
متن کاملOn the Computing Power of Statecharts
Statecharts provide a practical and expressive visual formalism to describe reactive systems. They have been adopted by a number of object modeling techniques and languages, such as the UML state machines. Although Statecharts’ semantics has attracted much attention, the computation power of Statecharts was seldom considered. In this paper, we study the computation power of Statecharts by linki...
متن کاملAn Axiomatic Theory of StateCharts
Executive Summary Statecharts provide for the detailed graphical description of real-time computing systems. Extended Real Time Logic (ERTL) provides for the axiomatic description of real-time computing systems. The StateMate tool provides powerful facilities for the construction and validation of Statecharts, using a conceptually simple graphical user interface. In this paper we develop a mapp...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997